Programming language theory

Results: 4158



#Item
461Meeting / Computing / Programming language theory / Software engineering / Forth / Diaeresis

Forth 200x Standards Committee #5 University of Exeter, England. 3–4 September 2009 Agenda 1. Attendance 2. Minutes of last meeting

Add to Reading List

Source URL: www.forth200x.org

Language: English - Date: 2009-09-08 08:11:48
462Programming language implementation / Formal languages / Compiler construction / Control flow / Recursive descent parser / LL parser / Left recursion / Attribute grammar / Lookahead / Software engineering / Parsing / Computing

The Yapps Parser Generator System http://theory.stanford.edu/˜amitp/Yapps/ Version 2 Amit J. Patel http://www-cs-students.stanford.edu/ amitp/ Introduction

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2002-08-09 18:50:20
463Procedural programming languages / Unix / Scripting languages / Computer file formats / Cross-platform software / Scheme / Shebang / Shell script / ALGOL / Computing / Software engineering / Programming language theory

Revised6 Report on the Algorithmic Language Scheme — Non-Normative Appendices — MICHAEL SPERBER R. KENT DYBVIG, MATTHEW FLATT, ANTON (Editors)

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2012-08-11 13:47:51
464Function composition / Monotonicity criterion / Coalition government / Computing / Programming language theory / ALGOL 68 / Software engineering

Composition of Simple Games Rupert Freeman Supervisor: Arkadii Slinko University of Auckland

Add to Reading List

Source URL: cmss.auckland.ac.nz

Language: English - Date: 2013-03-26 15:11:24
465Cross-platform software / Procedural programming languages / C / Energy / Scheme / Software engineering / Programming language theory / Computing

Usage notes for likeSED v10, bdlikeSED, and extbdlikeSED macros v11 Macro Analysis Method

Add to Reading List

Source URL: fermi.gsfc.nasa.gov

Language: English - Date: 2011-09-14 11:45:11
466Column / Data modeling / Comma-separated values / ALGOL 68 / Computing / Programming language theory / Software engineering

SIRTF SOS-FOS Software Interface Specification 3020 Housekeeping, Engineering, and PCS Encapsulated Coma Separated Value (ECSV) Files October 11, 1999

Add to Reading List

Source URL: spider.ipac.caltech.edu

Language: English - Date: 2003-08-25 18:29:26
467Computer programming / Programming language theory / Loop optimization / CPU cache / Lookup table / Aliasing / Cache / Row-major order / Dynamic array / Computing / Compiler optimizations / Arrays

A Cost Framework for Evaluating Integrated Restructuring Optimizations Bharat Chandramouli, John B. Carter, Wilson C. Hsieh, Sally A. McKee School of Computing University of Utah Abstract

Add to Reading List

Source URL: research.ac.upc.edu

Language: English - Date: 2002-03-20 08:47:59
468Functional programming / Subroutines / Functional languages / Type theory / Lambda calculus / Haskell / Anonymous function / Monad / Pattern matching / Software engineering / Computer programming / Computing

Haskell: A Fun, Friendly, Fantastic Functional Language Andrew Brinker Hello, Welcome to the wonderful world of Haskell. Haskell is my personal favorite programming language, and is the most exciting and interesting lang

Add to Reading List

Source URL: andrewbrinker.com

Language: English - Date: 2015-04-21 19:13:18
469Object-oriented programming / Java programming language / Interfaces / Type theory / C++ / Mixin / Multiple inheritance / Inner class / Class / Computing / Software engineering / Computer programming

Interfaces for Nested Classes Yannis Smaragdakis College of Computing Georgia Institute of Technology Atlanta, GA 30332

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2000-12-08 16:36:48
470Logic in computer science / Evaluation strategy / Incremental computing / Partial evaluation / Models of computation / Denotational semantics / Olivier Danvy / BRIC / Monad / Software engineering / Computing / Programming language theory

BRICS Basic Research in Computer Science BRICS DS-01-6 B. Grobauer: Topics in Semantics-based Program Manipulation

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2001-09-24 07:35:52
UPDATE